int plus_one(int x);